Semantics of Pointers, Referencing and Dereferencing with Intensional Logic
نویسندگان
چکیده
منابع مشابه
Program Semantics, Intensional Logic and Compositionality
We apply intensional logic to the semantics of an Algol-like programming language. This associates with expressions their meanings relative to \possible worlds", here interpreted as machine states. These meanings lie in the semantic domains of a higher order typed intensional logic. The great advantage of this approach is that it preserves compositionality of the meaning function, even in \opaq...
متن کاملTowards a Unified Theory of Intensional Logic Programming
Intensional Logic Programming is a new form of logic programming based on intensional logic and possible-worlds semantics. Intensional logic allows us to use logic programming to specify nonterminating computations and to capture the dynamic aspects of certain problems in a natural and problem-oriented style. The meanings of formulas of an intensional firstorder language are given according to ...
متن کاملSemantics of Dynamic Variables in Algol-like Languages
A denotational semantic model of an Algol-like programming language with local variables, providing fully functional dynamic variable manipulation is presented. Along with the other usual language features, the standard operations with pointers, that is reattachement and dereferencing, and dynamic variables, that is creation and assignment, are explicated using a possible worlds, functor catego...
متن کاملA Formal Treatment of Non-Deterministic Dataflow Streams in Intensional Logic Programming∗
Intensional logic programming is an alternative to concurrent logic programming languages which employ infinitary data structures such as streams to specify non-terminating computations. Wadge has proposed a logical extension to intensional logic programming, i.e., choice predicates, though which dataflow-style computations can be naturally expressed. This paper discusses the model-theoretical ...
متن کاملLogic Programs with Intensional Functions
The stable model semantics treats a logic program as a mechanism for specifying its intensional predicates. In this paper we discuss a modification of that semantics in which functions, rather than predicates, are intensional. The idea of the new definition comes from nonmonotonic causal logic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991